1. Agenda relevance :
پدیدآورنده : Dov M. Gabbay and John Woods.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Logic.
رده :
BC71
.
G315
2003eb
2. Alternatives in [i.e. to] classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
3. Alternatives in [i.e. to] classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
4. Alternatives in [i.e. to] classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
5. Computational logic
پدیدآورنده : edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.
6. Elements of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
7. Elements of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
8. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
9. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
10. Extensions of classical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC6
.
H36
1983
11. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
12. Goal-directed proof theory
پدیدآورنده : / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Proof theory
رده :
QA9
.
54
.
G33
2000
13. Handbook Of The History Of Logic
پدیدآورنده : /Edited By Dov M. Gabbay
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
14. Handbook of Logic in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
رده :
E-Book
,
15. Handbook of Philosophical Logic
پدیدآورنده : edited by Dov M. Gabbay, Franz Guenthner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Philosophy
16. Handbook of Philosophical Logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Logic- Addresses, essays, lectures
رده :
BC
،
6
،.
H36
،
1983
17. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
18. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming , Artificial intelligence , Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
19. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
20. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده : edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
